The main features of CPL
نویسندگان
چکیده
The paper provides an informal account of CPL, a new programming language currently being implemented for the Titan at Cambridge and the Atlas at London University. CPL is based on, and contains the concepts of, ALGOL 60. In addition there are extended data descriptions, command and expression structures, provision for manipulating non-numerical objects, and comprehensive input-output facilities. However, CPL is not just another proposal for the extension of ALGOL 60, but has been designed from first principles and has a logically coherent structure.
منابع مشابه
High-resolution actinic imaging and phase metrology of 193 nm CPLTM reticles
The recent introduction of chromeless-phase lithography (CPL) has provided lithographers with a powerful wavefront engineering tool for patterning at k1 values below 0.3. Reliable image formation at such extreme k1 requires a wellcharacterized CPL photomask. However, the limitations of available optical inspection tools have made the test and measurement of CPL photomasks a difficult task. In t...
متن کاملCalculus of Cryptographic Communication
We define C, a model-based formalism that is one half of a whole framework for the modelling, specification, and verification of cryptographic protocols. C consists of a language of distributed processes and an associated (SOS) notion of concurrent execution. The other, co-designed, half of our framework is a property-based formalism, i.e., a logic, for the specification and verification of suc...
متن کاملOnline Detection of Feature Interactions of CPL Services
The Call Processing Language (CPL) is one of the best known approaches developed for creating telephony services in Internet telephony. Its XML-based structure makes it a flexible approach to create services not only by service providers, but also by end-users, which increases the possibility of feature interactions. In this paper we present an online approach for detecting feature interactions...
متن کامل6 Relaxed Linear Separability ( RLS ) Approach to Feature ( Gene ) Subset Selection
Feature selection is one of active research area in pattern recognition or data mining methods (Duda et al., 2001). The importance of feature selection methods becomes apparent in the context of rapidly growing amount of data collected in contemporary databases (Liu & Motoda, 2008). Feature subset selection procedures are aimed at neglecting as large as possible number of such features (measure...
متن کاملProductivity costs and years of potential life lost associated with five leading causes of death: Evidence from Iran (2006-2010)
Background: Economic burden due to premature mortalities is significant both on health system and on the society as a whole. This study aimed to determine the productivity costs and years of potential life lost associated with five leading causes of death in Iran from 2006 to 2010. Methods: Data on mortality by sex and age-groups due to five main leading causes of death (m...
متن کامل